Computer arithmetic

Results: 1849



#Item
301Analysis of algorithms / Computational complexity theory / Computer arithmetic / Algorithm / Mathematical logic / Floating point / Computational geometry / Time complexity / Model of computation / Theoretical computer science / Applied mathematics / Computer science

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Time, space, and precision: Revisiting classic problems in computational geometry with degree-driven analysis Jack Snoeyink∗

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2014-08-04 14:37:40
302Numbers / Binary arithmetic / Arithmetic / Primitive types / Integers / 255 / Hexadecimal / Bit / Signedness / Computer arithmetic / Data types / Computing

EE333 Microcontroller Engineering Oregon Tech Portland, Fall 2012 Homework Assignment #1 Due October 2 1. The 68HCS12 has both RAM and ROM (in the form of EEPROM). In an application where would you find each of the follo

Add to Reading List

Source URL: www.almy.us

Language: English - Date: 2012-07-15 16:07:57
303Numerical analysis / OCaml / Computer arithmetic / Interval arithmetic / Caml / Interval / Computing / Software engineering / Computer programming

Implementing an interval computation library for OCaml on x86/AMD64 architectures J-M. Alliot J-B. Gotteland

Add to Reading List

Source URL: oud.ocaml.org

Language: English - Date: 2012-09-26 17:41:27
304Semantics / Boolean algebra / Predicate logic / Propositional calculus / FO / Predicate / Quantification / Interpretation / Negation / Logic / Mathematical logic / Mathematics

Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2012-05-26 11:29:50
305Mathematics / Cryptography / Binary arithmetic / Linear feedback shift register / Pseudorandomness / Stream cipher / Information theory / Factor graph / Pseudorandom generator / Pseudorandom number generators / Theoretical computer science / Applied mathematics

IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 8, AUGUSTTABLE II OUR ATTACK COMPARED TO A GENERIC TIME/MEMORY/DATA TRADEOFF ATTACK

Add to Reading List

Source URL: www.cba.mit.edu

Language: English - Date: 2011-12-13 18:32:02
306Numerical analysis / Matrix theory / Arithmetic / Computer arithmetic / Interval arithmetic / Matrix / Vector space / Determinant / Logarithm / Mathematics / Algebra / Linear algebra

On the Solution of Linear Algebraic Equations Involving Interval Coecients S. Markov, E. Popova and Ch. Ullrichy Institute of Biophysics, Bulgarian Academy of Sciences e-mail: et y

Add to Reading List

Source URL: www.math.bas.bg

Language: English - Date: 2009-01-04 08:49:01
307Group theory / Algebraic number theory / Modular arithmetic / Prime number / Repunit / Multiplication / Mersenne prime / Integer / Abstract algebra / Mathematics / Integer sequences

Faster ECC over F2521 −1 Robert Granger 1 and Michael Scott 2 1 Laboratory for Cryptologic Algorithms School of Computer and Communication Sciences EPFL, Switzerland

Add to Reading List

Source URL: www.iacr.org

Language: English - Date: 2015-03-30 09:25:34
308Model theory / Semantics / Predicate logic / Formal languages / Metalogic / First-order logic / Alloy Analyzer / Alloy / Integer overflow / Logic / Mathematical logic / Mathematics

Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory,

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2014-07-07 17:53:08
309Instruction set architectures / Central processing unit / Microcontrollers / Multiplication / Binary arithmetic / Z1 / Instruction set / ARM architecture / Atmel AVR / Computer architecture / Computer engineering / Computer hardware

High-speed Curve25519 on 8-bit, 16-bit, and 32-bit microcontrollers Michael Düll ·

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-04-17 14:57:38
310Polynomials / Computational number theory / Computational complexity theory / Algebra / Digital signal processing / Fast Fourier transform / Fast Library for Number Theory / Time complexity / Multiplication / Mathematics / Abstract algebra / Theoretical computer science

zn poly: a library for polynomial arithmetic David Harvey, New York University January 8, 2009 David Harvey, New York University

Add to Reading List

Source URL: web.maths.unsw.edu.au

Language: English - Date: 2011-07-17 23:06:27
UPDATE